Moore hyperrectangles on a space form a strict cubical omega-category
نویسنده
چکیده
A question of Jack Morava is answered by generalising the notion of Moore paths to that of Moore hyperrectangles, so obtaining a strict cubical ω-category. This also has the structure of connections in the sense of Brown and Higgins, but cancellation of connections does not hold.
منابع مشابه
Thin fillers in the cubical nerves of omega-categories
It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of this type is the cubical nerve of a strict omega-category unique up to isomorphism; the cubical nerve functor is therefore an equivalence of categories. The se...
متن کاملCubical Sets as a Classifying Topos∗
Coquand’s cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. We show that the underlying cube category is the opposite of the Lawvere theory of De Morgan algebras. The topos of cubical sets itself classifies the theory of ‘free De Morgan algebras’...
متن کامل1 Multiple categories : the equivalence of a globular and a cubical approach
We show the equivalence of two kinds of strict multiple category, namely the well known globular ω-categories, and the cubical ω-categories with connections.
متن کاملHomotopy invariants of multiple categories and concurrency in computer science
We associate to any (strict) multiple category C three homology theories : the rst one is called the globular homology and it contains the oriented loops of C ; both other ones are called corner homology, the negative one and the positive one, which contain the corners included in C. We make explicit the link between these homology theories and the homotopy of paths in multiple category. We con...
متن کاملCovering morphisms of crossed complexes and of cubical omega-groupoids are closed under tensor product
The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical ω-groupoids with connections where the initial definition of the tensor product li...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009